Conference Proceedings
String Abstract Domains and Their Combination
H Søndergaard
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics | Published : 2022
Abstract
We survey recent developments in string static analysis, with an emphasis on how string abstract domains can be combined. The paper has formed the basis for an invited presentation given to LOPSTR 2021 and PPDP 2021.
Grants
Awarded by Australian Research Council
Funding Acknowledgements
I wish to thank my string analysis collaborators: Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander Jordan, Peter Schachte, Peter Stuckey and Chenyi Zhang. Part of our work was supported by the Australian Research Council through Linkage Project LP140100437.